Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
FLINT: Fast Library for Number Theory
flintlib.org·13h
busy beaver function
ncatlab.org·2d
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·17h
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·4h
Generating C functions and prototypes using macros – part 2
subethasoftware.com·6h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
Loading...Loading more...